special linear group proof